Visible Type Application
نویسندگان
چکیده
The Hindley-Milner (HM) type system automatically infers the types at which polymorphic functions are used. In HM, the inferred types are unambiguous, and every expression has a principal type. However, type inference is sometimes unwieldy or impossible, especially in the presence of type system extensions such as type classes and typelevel functions. Even here, programmers cannot provide type arguments explicitly, as HM requires types to be invisible. We describe an extension to HM that allows for visible type application. Our extension requires a novel type inference algorithm, yet its declarative presentation is a simple extension to HM. We prove that our extended system is a conservative extension of HM and admits principal types. We then extend our approach to a higher-rank type system with bidirectional type-checking. We have implemented this system in the Glasgow Haskell Compiler and show how our approach scales in the presence of complex type system features.
منابع مشابه
Synthesis, Characterization, and Application of Zr,Ce-TiO2/SiO2 Nanocomposite Thin Film as Visible-light Active Photocatalyst
A novel Zr,Ce-TiO2/SiO2 nanocomposite thin film was successfully prepared with various amounts of Zr4+ and Ce4+ as codopant ions for self-cleaning applications. A thin film was coated on a tile substrate by dip-coating and porous Zr,Ce-TiO2/SiO2 was obtained after heat treatment for 2 hours at 500 °C. The SEM images an...
متن کاملMicrowave-assisted rapid synthesis of Co3O4 nanorods from CoC2O4.2H2O nanorods and its application in photocatalytic degradation of methylene blue under visible light irradiation
In this work, Co3O4 nanorods were successfully prepared by microwave-assisted solid state decomposition of rod-like CoC2O4.2H2O precursor within a very short reaction time (6 min) without the use of a solvent/surfactant and complicated equipment. The as-obtained Co3O4 nanorods were fully characterized by X-ray diffract...
متن کاملMicrowave-assisted rapid synthesis of Co3O4 nanorods from CoC2O4.2H2O nanorods and its application in photocatalytic degradation of methylene blue under visible light irradiation
In this work, Co3O4 nanorods were successfully prepared by microwave-assisted solid state decomposition of rod-like CoC2O4.2H2O precursor within a very short reaction time (6 min) without the use of a solvent/surfactant and complicated equipment. The as-obtained Co3O4 nanorods were fully characterized by X-ray diffract...
متن کاملDetermining the antibacterial effect of ZnO nanoparticle against the pathogenic bacterium, Shigella dysenteriae (type 1)
The nanomaterials have important application in different field of science such as biology and pharmacology, which draws the attention of biologists towards this field of study more than before. As the worldwide mortality rate is high due to the pathogens and especially because of the bacteria associated dysenteriae and the antibacterial effect of metal nanoparticles is well known from centurie...
متن کاملSynthesis and Application of Two Organic Dyes for Dye-Sensitized Solar Cells
In the present study, two new organic dyes based on indigo were prepared and used as sensitizers in dye-sensitized solar cells. To this end, indoxyl was utilized as the electron donor and cyanoacrylic acid as the electron acceptor anchoring groups. These dyes together with their corresponding intermediates were purified and characterized by FTIR, 1HNMR, 13CNMR, elemental analysis and UV-Visible...
متن کامل